A Higher-order Dialogical Logic to demonstrate Leibniz’s Law of Identity of Indiscernibles
نویسندگان
چکیده
منابع مشابه
from linguistics to literature: a linguistic approach to the study of linguistic deviations in the turkish divan of shahriar
chapter i provides an overview of structural linguistics and touches upon the saussurean dichotomies with the final goal of exploring their relevance to the stylistic studies of literature. to provide evidence for the singificance of the study, chapter ii deals with the controversial issue of linguistics and literature, and presents opposing views which, at the same time, have been central to t...
15 صفحه اولQuarticles and the Identity of Indiscernibles
In sections 5.3-4 of their paper in this volume, French and Rickles raise the question of the logical relations between the indistinguishability postulate (IP) and the various senses in which particles might fail to be individuals. In section 5.3 they refer to the convincing arguments of French and Redhead (1988) and of Butterfield (1993) that IP does not logically entail non-individuality, und...
متن کاملA Paraconsistent Higher Order Logic
Classical logic predicts that everything (thus nothing useful at all) follows from inconsistency. A paraconsistent logic is a logic where an inconsistency does not lead to such an explosion, and since in practice consistency is difficult to achieve there are many potential applications of paraconsistent logics in knowledge-based systems, logical semantics of natural language, etc. Higher order ...
متن کاملwoman-defined identity: analysis of selected poems of adrienne rich
the current thesis is composed in five chapters in the following fashion: chapter two encompasses the applied framework of the project in details; the methodology of carl gustav jung to explain the process of individuation, the major archetypes and their attributes and his techniques to assess the mind’s strata are all explained. moreover, the austrian psychoanalysts, heinz kohut’s models of a...
Automation of Higher-Order Logic
3 Church’s simple theory of types (classical higher-order logic) 8 3.1 The λ-calculus as computation (middle and late 1930s) . . . . . . 8 3.2 Mixing λ-calculus and logic . . . . . . . . . . . . . . . . . . . . . 9 3.3 Simple types and typed λ-terms . . . . . . . . . . . . . . . . . . . 9 3.4 Formulas as terms of type o . . . . . . . . . . . . . . . . . . . . . 11 3.5 Elementary type theory . ....
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Revista de Humanidades de Valparaíso
سال: 2017
ISSN: 0719-4242,0719-4234
DOI: 10.22370/rhv.2017.9.849